Experiments in concurrent stochastic simulation: The EcliPSe paradigm
نویسندگان
چکیده
منابع مشابه
Experiments in Concurrent Stochastic Simulation: The EcliPSe Paradigm
This paper presents results on the performance of a novel and flexible concurrent simulation environment known as &lj~. The paradigm we advocate is based on the premise that replication based simulations, either non-distributed or minimally distributed, yield excellent speedups. The approach used makes concurrent simulation easily accessible to researchers because its use does not require knowl...
متن کاملEcliPSe: A System for High Performance Concurrent Simulation
A description of a system which provides for the concurrent execution of stochastic simulation applications is presented. The £CliFFe system provides high level simulation primitives that enable cornmon simulation tasks. An application programmer describes the simulation process in terms of these primitives using a sequential computation model. The system transparently replicates appropriate se...
متن کاملBudgeted Optimization with Concurrent Stochastic-Duration Experiments
Budgeted optimization involves optimizing an unknown function that is costly to evaluate by requesting a limited number of function evaluations at intelligently selected inputs. Typical problem formulations assume that experiments are selected one at a time with a limited total number of experiments, which fail to capture important aspects of many real-world problems. This paper defines a novel...
متن کاملAxiomatic Design and the Concurrent Engineering Paradigm
Concurrent Engineering (CE) is an organisational arrangement that systematically employs a set of functional disciplines to integrate and simultaneously perform all the tasks that yields to a product satisfying a known list of customer needs. Its chief goals are to shorten the products’ time to market, increase their quality and performance, and reduce their overall life cycle costs, from conce...
متن کاملModel checking for the concurrent constraint paradigm
Formal verification of temporal properties is necessary in many real applications. We can find in the literature many case studies which show us how formal verification techniques allowed scientists to find errors in systems that were thought to be correct. Model checking is an automatic formal verification technique that, given a model of a system and a temporal formula determines if the model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Parallel and Distributed Computing
سال: 1992
ISSN: 0743-7315
DOI: 10.1016/0743-7315(92)90098-8